cient Methods for Qualitative
نویسنده
چکیده
The theoretical properties of qualitative spatial reasoning in the RCC-8 framework have been analyzed extensively. However, no empirical investigation has been made yet. Our experiments show that the adaption of the algorithms used for qualitative temporal reasoning can solve large RCC-8 instances, even if they are in the phase transition region { provided that one uses the maximal tractable subset of RCC-8 that has been identiied by us. In particular, we demonstrate that the orthogonal combination of heuristic methods is successful in solving almost all apparently hard instances in the phase transition region up to a certain size in reasonable time.
منابع مشابه
Combining Navigational Planning and Reactive Control
Traditional AI methods for navigational planning use qualitative spatial representations and reasoning. Traditional robotics techniques for this task are based on numerical representations and reasoning. Recent work on robotics posits mechanisms for reactive control that directly map perceptions of the world to actions on it. This in turn has given rise to hybrid robot architectures that combin...
متن کاملQualitative modeling and simulation of socio-economic phenomena
This paper describes an application of recently developed qualitative reasoning techniques to complex, socio{economic allocation problems. We explain why we believe traditional optimization methods are inappropriate and how qualitative reasoning could overcome some of these shortcomings. A case study is presented where an authority is expected to devise a policy that satis es certain constraint...
متن کاملQualitative Circuit Models for ECAD Analysis and Support Tools
In ECAD application areas there is a real need for electrical circuit modelling and analy sis tools at an intermediate level between analogue and state based simulators Numerical tools do not capture the abstractions valued by engineers and logical functional models do not maintain su cient a nities with the electrical properties of a system This paper examines the nature of this problem and th...
متن کاملCAS WAVELET METHOD FOR THE NUMERICAL SOLUTION OF BOUNDARY INTEGRAL EQUATIONS WITH LOGARITHMIC SINGULAR KERNELS
In this paper, we present a computational method for solving boundary integral equations with loga-rithmic singular kernels which occur as reformulations of a boundary value problem for the Laplacian equation. Themethod is based on the use of the Galerkin method with CAS wavelets constructed on the unit interval as basis.This approach utilizes the non-uniform Gauss-Legendre quadrature rule for ...
متن کاملOn qualitative modeling
Fundamental assumptions behind qualitative modeling are critically considered, and some inherent problems in that modeling approach are outlined. The problems outlined are due to the assumption that a suu-cient set of symbols representing the fundamental features of the physical world exists. That assumption causes serious problems when modeling continuous systems. An alternative for intelligen...
متن کامل